Scott 拓扑（Scott topology）是一种定义在偏序集（尤其是完备偏序集、域理论中的结构）上的拓扑。它的开集通常要求：
1）向上闭（upward closed）；2）对任意有向集（directed set）的上确界（supremum）满足一定的“可达性”条件（若上确界落在开集中，则该有向集中某个元素已在开集中）。
它常用于域理论（domain theory）、指称语义（denotational semantics）与不动点理论中，用来刻画“信息逐步逼近”的连续性。
/skɑːt təˈpɑːlədʒi/ （美式常见）
/skɒt təˈpɒlədʒi/ （英式常见）
The Scott topology is widely used in domain theory.
Scott 拓扑在域理论中被广泛使用。
In denotational semantics, continuity is often defined with respect to the Scott topology on a cpo, ensuring limits of directed approximations behave well.
在指称语义中，连续性常常相对于 cpo 上的 Scott 拓扑来定义，以保证有向逼近的极限具有良好性质。
“Scott topology”以数学家Dana Scott命名。他在计算机科学与逻辑的早期发展中提出并推动了域理论，用以为程序含义提供严格的数学模型；Scott 拓扑正是在这种背景下形成并被系统化的。“topology”来自希腊语词根，意为“关于空间/位置的学问”，在现代数学中指研究“开集结构”的理论。
Select Language